<?php
/**
 * Created by PhpStorm.
 * User: 764432054@qq.com
 * Date: 2020/6/25
 * Time: 11:03
 */
echo intval($_GET['a'])*2;